Inline expansion - PDFSEARCH.IO - Document Search Engine

Inline expansion
Results: 163

#	Item
21	Hardware Synthesis using SAFL and Application to Processor Design (Invited Talk) Alan Mycroft1,2 and Richard Sharp1 1 Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:00 Subroutines Hardware description languages Electronic design automation Electronic engineering High-level synthesis Hardware verification languages Verilog VHDL Logic synthesis Inline expansion Parameter Recursion
22	A foundation for trait-based metaprogramming John Reppy Aaron Turon University of Chicago Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:27 Type theory Classical genetics Object-oriented programming languages Genetics C++ Trait Mixin Quantitative trait locus Natural selection Multiple inheritance Inline expansion Abstract type
23	Generating Low-Overhead Dynamic Binary Translators Mathias Payer Thomas R. Gross ETH Zurich, Switzerland Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software Computing Compiler construction Programming language implementation Central processing unit Compiler optimizations Indirect branch Machine code Binary translation Inline expansion Self-modifying code Subroutine
24	Bayesian Network Inference Approach to probe Foodweb interactions between herring and zooplankton in the Irish Sea Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Literate programming Functional programming Monad Haskell Inline expansion First-order logic
25	The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA Mathias Payer Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software Computing Compiler optimizations Compiler construction Programming language implementation Undefined behavior Optimizing compiler Compiler Inline expansion Constant folding Loop-invariant code motion Program optimization
26	Loosing Functions Without Gaining Data Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Subroutines Lambda calculus Functional programming Fold Recursion Anonymous function Inline expansion Term
27	Fast Binary Translation: Translation Efficiency and Runtime Efficiency Mathias Payer Department of Computer Science ETH Zurich Abstract—Fast binary translation is a key component for Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software engineering Computer programming Software Software optimization Programming language implementation Profilers Compiler construction Arrays Inline expansion Binary translation DynamoRIO Self-modifying code
28	Javanni: A Verifier for JavaScript Martin Nordio1 , Cristiano Calcagno2 , and Carlo A. Furia1 1 2 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-03-04 10:30:18 Software engineering Computer programming Computing Compiler optimizations Cross-platform software Scripting languages Logic in computer science JavaScript Separation logic Inline expansion Correctness Loop unrolling
29	Fast Binary Translation: Translation Efficiency and Runtime Efficiency Mathias Payer and Thomas R. Gross Department of Computer Science ETH Zürich Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Computer performance Software optimization Central processing unit Arrays Compiler optimizations Binary translation Lookup table Subroutine Instruction set Inline expansion Cache
30	Optimization of Common Table Expressions in MPP Database Systems I. Motivation! II. CTE Representation in Orca! WITH v AS (SELECT i_brand FROM item WHERE i_color = ’red’) Add to Reading List Source URL: acmsocc.github.io Language: English - Date: 2016-02-21 03:10:50 SQL keywords Database management systems SQL Compiler optimizations Hierarchical and recursive queries in SQL Recursion Inline expansion Join Database index Select